perm filename IDEA[E76,JMC] blob sn#225037 filedate 1976-07-13 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Induction: Knowing A⊂B guess A=B.
C00003 ENDMK
C⊗;
Induction: Knowing A⊂B guess A=B.

Abstract languages not just abstract syntax.